/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */

package andreafrancia.remoted;

import java.beans.ExceptionListener;
import java.rmi.RemoteException;
import java.util.EventListener;

/**
 * A listener that listen for {@link RemoteException}s.
 * Used by {@link RemotedList}.
 * @author Andrea Francia 
 */
public interface RemoteExceptionListener 
        extends ExceptionListener, EventListener
{
    /**
     * Called when a {@link RemoteException} has been thrown.
     * @param ex the raised {@link RemoteException}
     */
    void exceptionThrown(RemoteException ex);
}
